From 386ead4243b9e45d60f6a7aa6812f68e8c119ba3 Mon Sep 17 00:00:00 2001
From: Lapo Calamandrei <calamandrei@gmail.com>
Date: Fri, 20 May 2016 15:39:08 +0200
Subject: [PATCH] Adwaita: add vertical margins to switches on a headerbar

See https://bugzilla.gnome.org/show_bug.cgi?id=766642
---
 gtk/theme/Adwaita/_common.scss           | 6 +++++-
 gtk/theme/Adwaita/gtk-contained-dark.css | 3 +++
 gtk/theme/Adwaita/gtk-contained.css      | 3 +++
 3 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/gtk/theme/Adwaita/_common.scss b/gtk/theme/Adwaita/_common.scss
index 62fc4350c8..db793938b6 100644
--- a/gtk/theme/Adwaita/_common.scss
+++ b/gtk/theme/Adwaita/_common.scss
@@ -1546,7 +1546,7 @@ headerbar {
 }
 
 headerbar {
-  // add vertical margins to headerbar entries, buttons and separators to avoid them spanning the whole height
+  // add vertical margins to common widget on the headerbar to avoid them spanning the whole height
   entry,
   spinbutton,
   separator,
@@ -1554,6 +1554,10 @@ headerbar {
     margin-top: 6px;
     margin-bottom: 6px;
   }
+  switch {
+    margin-top: 9px;
+    margin-bottom: 9px;
+  }
 }
 
 .background:not(.tiled):not(.maximized) .titlebar {
diff --git a/gtk/theme/Adwaita/gtk-contained-dark.css b/gtk/theme/Adwaita/gtk-contained-dark.css
index 6b1abdcbdd..cc264b5fe4 100644
--- a/gtk/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/theme/Adwaita/gtk-contained-dark.css
@@ -2071,6 +2071,9 @@ headerbar separator,
 headerbar button {
   margin-top: 6px;
   margin-bottom: 6px; }
+headerbar switch {
+  margin-top: 9px;
+  margin-bottom: 9px; }
 
 .background:not(.tiled):not(.maximized) .titlebar:backdrop, .background:not(.tiled):not(.maximized) .titlebar {
   border-top-left-radius: 7px;
diff --git a/gtk/theme/Adwaita/gtk-contained.css b/gtk/theme/Adwaita/gtk-contained.css
index 2dbcc6101e..decd840ace 100644
--- a/gtk/theme/Adwaita/gtk-contained.css
+++ b/gtk/theme/Adwaita/gtk-contained.css
@@ -2078,6 +2078,9 @@ headerbar separator,
 headerbar button {
   margin-top: 6px;
   margin-bottom: 6px; }
+headerbar switch {
+  margin-top: 9px;
+  margin-bottom: 9px; }
 
 .background:not(.tiled):not(.maximized) .titlebar:backdrop, .background:not(.tiled):not(.maximized) .titlebar {
   border-top-left-radius: 7px;
-- 
2.30.2